Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
591	Dismantling Complicated Query Attributes with Crowd Matan Laadan Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-06-10 05:51:27 Data warehousing Dimension Variable and attribute Attribute Theoretical computer science Machine learning
592	MCS 401 – Computer Algorithms I Spring 2016 Problem Set 1 Lev Reyzin Due: by the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-22 10:42:53 Theoretical computer science Algorithm Mathematical logic Big O notation
593	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
594	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
595	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
596	Microsoft Word - Pelillo.doc Add to Reading List Source URL: svg.dmi.unict.it Language: English - Date: 2012-04-18 05:31:51 Formal sciences Cybernetics Algorithmic game theory Game theory Theory of computation Algorithmic Mathematical optimization Machine learning John von Neumann Theoretical computer science
597	Department of Computer Science Tenure Track Faculty Teaching Interests and Areas of Scholarship Faculty Arad, Behnam Add to Reading List Source URL: www.ecs.csus.edu Language: English - Date: 2015-07-27 13:56:52 Computer engineering Computer science Electrical engineering Electronic engineering Computer Distributed computing Cloud computing Computing Outline of computer science Theoretical computer science
598	A Methodology for the Structured Unification of Scheme and Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science Dwight D. Eisenhower
599	Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian Add to Reading List Source URL: www.vex.net Language: English - Date: 2014-07-22 17:29:12 Formal methods University of Toronto Theoretical computer science Eric Hehner Program derivation Predicative programming Refinement Formal verification Department of Computer Science
600	Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg Add to Reading List Source URL: cse.iitk.ac.in Language: English - Date: 2016-07-15 06:06:20 Computer algebra Algebraic geometry Computer science Grbner basis Symbolic computation Computer-aided design Finite field Polynomial Algorithm Theoretical computer science Vladimir Gerdt

UPDATE